callbyvalue($a$;$x$.$B$($x$)) \textbf{is Primitive}